Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
431	LTL Formalization of BPML Semantics and Visual Notation for Linear Temporal Logic Marco Brambilla Add to Reading List Source URL: www.webml.org Language: English - Date: 2005-01-24 06:26:34 OSI protocols Science Logic in computer science Linear temporal logic Process management Business Process Model and Notation Logic Workflow XML Temporal logic Computing Workflow technology
432	MOSCOW MATHEMATICAL JOURNAL Volume 9, Number 4, October–December 2009, Pages 899–926 Add to Reading List Source URL: www.ams.org Language: English - Date: 2009-12-16 12:21:16 Generalized functions Symbol Fourier transform Distribution Convolution Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Fourier analysis Functional analysis
433	E. The Hahn-Banach Theorem This Appendix contains several technical results, that are extremely useful in Functional Analysis. The following terminology is useful in formulating the Add to Reading List Source URL: www.math.ksu.edu Language: English - Date: 2002-11-25 12:30:52 Functional analysis Linear algebra Hahn–Banach theorem Locally convex topological vector space Vector space Function Spectral theory of ordinary differential equations Linear temporal logic Mathematics Algebra Mathematical analysis
434	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
435	PDF Document Add to Reading List Source URL: www2.ph.ed.ac.uk Language: English - Date: 2012-11-29 09:19:18 Partial differential equations Spinors Dirac equation Fermions Wave function Energy operator Interpretation Linear temporal logic Spectral theory of ordinary differential equations Physics Quantum mechanics Quantum field theory
436	PDF Document Add to Reading List Source URL: qav.cs.ox.ac.uk Language: English - Date: 2007-07-13 07:18:18 Markov chain Continuous-time Markov process Stochastic process Interpretation Markov decision process Linear temporal logic Statistics Markov processes Model checking
437	PDF Document Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-27 10:41:08 Temporal logic Logic in computer science Formal methods Formal sciences Model checking Linear temporal logic Computation tree logic Formal verification CTL* Mathematical logic Logic Theoretical computer science
438	PDF Document Add to Reading List Source URL: www.ml.kva.se Language: English - Date: 2010-03-11 12:21:44 Model theory Mathematical logic Logical syntax Interpretation First-order logic Entailment Well-formed formula Linear temporal logic Dependence logic Logic Metalogic Formal languages
439	PDF Document Add to Reading List Source URL: ilpubs.stanford.edu Language: English - Date: 2008-09-17 01:51:19 K-means++ Normal distribution Distribution K-means clustering Cauchy–Schwarz inequality Cluster analysis Golden ratio base Linear temporal logic Statistics Mathematics Mathematical analysis
440	PDF Document Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-03-13 07:54:14 Mathematics Linear temporal logic Model checking Kripke semantics LTL Model theory CTL* Computation tree logic Logic Mathematical logic Temporal logic

UPDATE